De l'optimisation des programmes

Un Syst Eme Pour L'optimisation Globale De Programmes D'ordre Sup Erieur Par Compilation Abstraite S Epar Ee

Le pr esent document a et e r edig e dans le cadre de la deuxi eme partie de l'examen pr edoctoral de Dominique Boucher sous la direction du professeur Marc Feeley. La proposition consiste en l'architecture d'un compilateur pour un langage fonctionnel d'ordre sup erieur capable de r ealiser des optimisations intermodules. Le syst eme utilise une technique d'implantation des analyses statiques b...

The Data-Dependence Graph of Adjoint Programs

Automatic Di erentiation is a technique that permits generation of adjoint programs, which compute gradients. In scienti c computation, these gradients are a fundamental tool for optimization or data assimilation. Computation of a gradient is relatively expensive, and should therefore be optimized whenever possible. The study of these program optimizations is most often based on the data-depend...

Robustness of convex optimization with application to controled Markov chains

We present two stability results in this paper. We rst obtain suucient conn ditions for the continuity of optimal values and solutions of convex programs in general vector spaces, as well as some types of robustness of some sub-optimal solutions. We then use these results in order to establish a new result in stochastic dynamic control of discrete event systems (known as constrained Markov Deci...

Principes et méthodes pour l'intégration et l'optimisation du pilotage des systèmes de production et des chaînes logistiques

TB/HIV Co-Infection Care in Conflict-Affected Settings: A Mapping of Health Facilities in the Goma Area, Democratic Republic of Congo

Background HIV/AIDS and Tuberculosis (TB) are major contributors to the burden of disease in sub-Saharan Africa. The two diseases have been described as a harmful synergy as they are biologically and epidemiologically linked. Control of TB/HIV co-infection is an integral and most challenging part of both national TB and national HIV control programmes, especially in contexts of instability wher...